@CHARSET "UTF-8";
#resultDiv{
	width: 310px;
	height: 100px;
	font-size:25px;
	overflow: auto;
	border: 2px solid #000000;
}